大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Machine Oriented Higher Level Languages 的图书(共7197本)

Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

0
索取号：
作者：Amadio、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

0
索取号：
作者：Blockeel、 Hendrik.、Ramon、 Jan.、Shavlik、 Jude.、Tadepalli、 Prasad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Developments in Formal Languages and Applications [electronic resource]

0
索取号：
作者：Bel-Enguix、 Gemma.、Jim茅nez-L贸pez、 M. Dolores.、Mart铆n-Vide、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data Analysis, Machine Learning and Applications [electronic resource] : Proceedings of the 31st Annual Conference of the Gesellschaft f眉r Klassifikation e.V., Albert-Ludwigs-Universit盲t Freiburg, March 7鈥鬠2007

0
索取号：
作者：Preisach、 Christine.、Burkhardt、 Hans.、Schmidt-Thieme、 Lars.、Decker、 Reinhold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

0
索取号：
作者：Satoh、 Ken.、Inokuchi、 Akihiro.、Nagao、 Katashi.、Kawamura、 Takahiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Object-Oriented Technology. ECOOP 2007 Workshop Reader [electronic resource] : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

0
索取号：
作者：Cebulla、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Large-Scale Knowledge Resources. Construction and Application [electronic resource] : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

0
索取号：
作者：Tokunaga、 Takenobu.、Ortega、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Machine Learning for Multimodal Interaction [electronic resource] : 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers

0
索取号：
作者：Popescu-Belis、 Andrei.、Renals、 Steve.、Bourlard、 Herv茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Architecture of Computing Systems-ARCS 2008 [electronic resource] : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

0
索取号：
作者：Brinkschulte、 Uwe.、Ungerer、 Theo.、Hochberger、 Christian.、Spallek、 Rainer G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Web Based Learning-ICWL 2007 [electronic resource] : 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers

0
索取号：
作者：Leung、 Howard.、Li、 Frederick.、Lau、 Rynson.、Li、 Qing.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

0
索取号：
作者：Medina、 Raoul.、Obiedkov、 Sergei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

0
索取号：
作者：Gelbukh、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent-Oriented Information Systems IV [electronic resource] : 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers

0
索取号：
作者：Kolp、 Manuel.、Henderson-Sellers、 Brian.、Mouratidis、 Haralambos.、Garcia、 Alessandro.、Ghose、 Aditya K.、Bresciani、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

0
索取号：
作者：Yorav、 Karen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2007 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) Saarbr眉cken, September 5鈥笠2007

0
索取号：
作者：Kalcsics、 J枚rg.、Nickel、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.